<html>
<head><meta charset="utf-8"><title>rustc integration based on chalk-solve · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rustc.20integration.20based.20on.20chalk-solve.html">rustc integration based on chalk-solve</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="184960861"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rustc%20integration%20based%20on%20chalk-solve/near/184960861" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rustc.20integration.20based.20on.20chalk-solve.html#184960861">(Jan 06 2020 at 21:55)</a>:</h4>
<p>So I created <a href="https://github.com/rust-lang/wg-traits/projects/2" target="_blank" title="https://github.com/rust-lang/wg-traits/projects/2">this github project</a> for "rustc integration based on chalk-solve" and started populating it with cards.</p>



<a name="184960883"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rustc%20integration%20based%20on%20chalk-solve/near/184960883" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rustc.20integration.20based.20on.20chalk-solve.html#184960883">(Jan 06 2020 at 21:55)</a>:</h4>
<p>Later on I'll try to go over the chalk issues and either close them, or link to cards, or maybe create new ones</p>



<a name="184960991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rustc%20integration%20based%20on%20chalk-solve/near/184960991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rustc.20integration.20based.20on.20chalk-solve.html#184960991">(Jan 06 2020 at 21:57)</a>:</h4>
<p>But if folks are interested in pushing on this, it might be worth skimming over</p>



<a name="184961103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rustc%20integration%20based%20on%20chalk-solve/near/184961103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rustc.20integration.20based.20on.20chalk-solve.html#184961103">(Jan 06 2020 at 21:58)</a>:</h4>
<p>One interesting question that I am pondering: my hope is that we'll develop a nice, ergonomic type library that is eventually just "the library" that we use for rust types, with the role of the <code>TypeInterner</code> trait being really <em>just</em> to define what kind of memory management strategy we want (and maybe to help us in code management, by letting us differentiate between "input" and "output" types and things).</p>



<a name="184961120"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rustc%20integration%20based%20on%20chalk-solve/near/184961120" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rustc.20integration.20based.20on.20chalk-solve.html#184961120">(Jan 06 2020 at 21:58)</a>:</h4>
<p>That suggests that some details -- like the set of <code>TypeName</code> values, and perhaps ABIs for fn types -- really ought to be defined in chalk-ty and not "customizable"</p>



<a name="185144021"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rustc%20integration%20based%20on%20chalk-solve/near/185144021" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rustc.20integration.20based.20on.20chalk-solve.html#185144021">(Jan 08 2020 at 18:51)</a>:</h4>
<blockquote>
<p>But if folks are interested in pushing on this, it might be worth skimming over</p>
</blockquote>
<p>For sure, I can imagine it being a useful starting point for weekly syncs</p>



<a name="185144080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/rustc%20integration%20based%20on%20chalk-solve/near/185144080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/rustc.20integration.20based.20on.20chalk-solve.html#185144080">(Jan 08 2020 at 18:51)</a>:</h4>
<p>I think I'll just start with the Alias rename, since that's a pretty straightforward change</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>